void f(x) {
  for (@annotation var (a, b) in x) {}
}
